Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
891	Distributing Frequency-Dependent Data Stream Computations ∗ Sumit Ganguly † Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:51 Abstract algebra Combinatorics Permutation Streaming algorithm Ω-automaton Theoretical computer science Computability theory Computer science Normal distribution Mathematics Algorithms Automata theory
892	SYLLABUS FOR THE ENTRANCE TEST IN MATHEMATICS, JOINT DEGREES, AND COMPUTER SCIENCE Issued April 2007. • Polynomials: The quadratic formula. Completing the square. Discriminant. Factorisation. Factor Theorem. Remainder Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-07-08 03:58:42 Trigonometry Functions and mappings Analytic functions Differential calculus Trigonometric functions Sine Graph of a function Logarithm Periodic function Mathematics Mathematical analysis Algebra
893	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
894	Reasoning About the Unknown in Static Analysis Isil Dillig Thomas Dillig Alex Aiken {isil, tdillig, aiken}@cs.stanford.edu Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-01-25 02:22:18 Logic in computer science Boolean algebra Formal methods Function Constructible universe Net Boolean satisfiability problem Canonical form Normal distribution Mathematics Mathematical logic Theoretical computer science
895	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 5 Complexity of Problems on Graphs Represented as OBDDs Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 1999-10-12 16:14:35 Boolean algebra Complexity classes Logic in computer science Binary decision diagram Model checking Boolean function Boolean circuit Circuit FO Theoretical computer science Mathematics Computational complexity theory
896	Quantum boolean functions Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 14:40:27 Physics Models of computation Quantum algorithm Quantum measurement Quantum computer Quantum error correction Quantum circuit Quantum mechanics Boolean algebra Theoretical computer science Quantum information science Applied mathematics
897	OPTIMAL MEASUREMENTS FOR THE DIHEDRAL HIDDEN SUBGROUP PROBLEM DAVE BACON, ANDREW M. CHILDS, AND WIM VAN DAM Abstract. We consider the dihedral hidden subgroup problem as the problem of distinguishing hidden subgroup stat Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2006-10-12 00:19:53 Quantum algorithms Theoretical computer science Quantum information science Hidden subgroup problem Combinatorics on words Quantum computer Subgroup Symmetric group Presentation of a group Abstract algebra Mathematics Group theory
898	Informative Feature Selection for Object Recognition via Sparse PCA∗ Nikhil Naikal, Allen Y. Yang, and S. Shankar Sastry Department of EECS, University of California, Berkeley {nnaikal, yang, sastry}@eecs.berkeley.edu Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-10 12:51:40 Mathematics Singular value decomposition Data analysis Computer vision Principal component analysis Eigenvalues and eigenvectors Object recognition Bundle adjustment Matrix Statistics Algebra Multivariate statistics
899	Lifted MAP Inference for Markov Logic Networks Somdeb Sarkhel, Deepak Venugopal Department of Computer Science The University of Texas at Dallas Richardson, TX 75080, USA Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-02-25 21:05:55 Propositional calculus Theoretical computer science Boolean algebra Artificial intelligence Markov logic network Propositional variable Resolution Boolean satisfiability problem First-order logic Logic Mathematical logic Mathematics
900	Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:26:38 Mathematical structures Algebraic structures Model theory Denotational semantics Structure Sheaf ALGOL 68 Universal algebra Vienna Development Method Mathematics Abstract algebra Algebra

UPDATE